Nuprl Lemma : es_realizer-subtype
0,22
postcript
pdf
es_realizer{i:l}
es_realizer{i':l}
latex
Definitions
t
T
Lemmas
es
realizer
wf
origin
es_realizer{i':l} es_realizer{i':l} 
T